Пожертвування 15 вересня 2024 – 1 жовтня 2024 Про збір коштів
1

Means of describing computer hardware and software

Рік:
1974
Мова:
english
Файл:
PDF, 491 KB
english, 1974
2

Completeness conditions for finite automata

Рік:
1962
Мова:
english
Файл:
PDF, 740 KB
english, 1962
3

Automatic expansions of representations of free semigroups

Рік:
1963
Мова:
english
Файл:
PDF, 592 KB
english, 1963
5

Extension sistema of the program language PROEKT

Рік:
1972
Мова:
english
Файл:
PDF, 804 KB
english, 1972
6

Concepts on formation of the mathematical tools of cybernetics in the works of V. M. Glushkov

Рік:
1982
Мова:
english
Файл:
PDF, 706 KB
english, 1982
7

Syntax and semantics of formal languages

Рік:
1968
Мова:
english
Файл:
PDF, 946 KB
english, 1968
9

Iterative methods of program analysis: Equalities and inequalities

Рік:
1990
Мова:
english
Файл:
PDF, 962 KB
english, 1990
15

An algorithm for maximum desequencing of repetition-free loops

Рік:
1983
Мова:
english
Файл:
PDF, 807 KB
english, 1983
16

The algorithmic language MAYaK

Рік:
1984
Мова:
english
Файл:
PDF, 2.18 MB
english, 1984
19

N. Wiener's theory of the activity of excitable media

Рік:
1972
Мова:
english
Файл:
PDF, 1.06 MB
english, 1972
20

Optimization of control processor strategy

Рік:
1972
Мова:
english
Файл:
PDF, 313 KB
english, 1972
21

Practical methods for the recognition of the equivalence of discrete processors and program schemata

Рік:
1973
Мова:
english
Файл:
PDF, 1.34 MB
english, 1973
23

Simulation in the system “PROEKT”

Рік:
1973
Мова:
english
Файл:
PDF, 1.15 MB
english, 1973
24

Method of designing fourth and later generation computers

Рік:
1973
Мова:
english
Файл:
PDF, 987 KB
english, 1973
25

Algebra of algorithms and dynamic parallel execution of sequential programs

Рік:
1982
Мова:
english
Файл:
PDF, 795 KB
english, 1982
26

Basic automatic programming system in the PROEKT system

Рік:
1971
Мова:
english
Файл:
PDF, 340 KB
english, 1971
27

Theoretical principles for designing discrete systems

Рік:
1977
Мова:
english
Файл:
PDF, 1.45 MB
english, 1977
28

An efficient algorithm for constructing the basis of a subgroup of a free group

Рік:
1981
Мова:
english
Файл:
PDF, 1022 KB
english, 1981
29

A generalization of the concept of a context-free grammar

Рік:
1972
Мова:
english
Файл:
PDF, 278 KB
english, 1972
31

Functional equivalence of discrete transformations. III

Рік:
1972
Мова:
english
Файл:
PDF, 350 KB
english, 1972
32

Instrumental means for the design of programs for processing mathematical texts

Рік:
1979
Мова:
english
Файл:
PDF, 717 KB
english, 1979
34

One approach to program analysis

Рік:
1979
Мова:
english
Файл:
PDF, 799 KB
english, 1979
35

Use of the MIR-2 computer for program analysis

Рік:
1974
Мова:
english
Файл:
PDF, 774 KB
english, 1974
37

Macropipelining of computations

Рік:
1986
Мова:
english
Файл:
PDF, 942 KB
english, 1986
39

Iterative methods of program analysis

Рік:
1989
Мова:
english
Файл:
PDF, 1.43 MB
english, 1989
40

Design theory of multiprocessor computer hardware and software

Рік:
1978
Мова:
english
Файл:
PDF, 1.77 MB
english, 1978
41

Accelerating iterations of monotonic operators

Рік:
1976
Мова:
english
Файл:
PDF, 611 KB
english, 1976
42

Theory of data structures and synchronous parallel computations

Рік:
1976
Мова:
english
Файл:
PDF, 1.40 MB
english, 1976
44

Functional equivalence of discrete processors. II

Рік:
1970
Мова:
english
Файл:
PDF, 1.32 MB
english, 1970
46

Constructive mathematical descriptions of subject domains

Рік:
1988
Мова:
english
Файл:
PDF, 1.24 MB
english, 1988
47

Events representable in push-down automata

Рік:
1969
Мова:
english
Файл:
PDF, 563 KB
english, 1969
48

Languages for automated computer-design systems (PROEKT)

Рік:
1970
Мова:
english
Файл:
PDF, 1.21 MB
english, 1970
49

Functional equivalence of discrete processors. I

Рік:
1969
Мова:
english
Файл:
PDF, 1.22 MB
english, 1969
50

The equivalence of automata with a terminal state. I

Рік:
1966
Мова:
english
Файл:
PDF, 542 KB
english, 1966